Ilmu komputer (bahasa Inggris: computer
Science), secara umum diartikan sebagai ilmu yang mempelajari
baik tentang komputasi, perangkat keras
(hardware) maupun perangkat lunak (software).
Ilmu komputer mencakup beragam topik yang berkaitan dengan komputer, mulai dari analisa abstrak algoritma sampai subyek yang lebih konkret
seperti bahasa pemrograman,
perangkat lunak, termasuk
perangkat keras.
Sebagai suatu
disiplin ilmu, Ilmu Komputer lebih menekankan pada pemrograman komputer, dan rekayasa perangkat lunak
(software), sementara teknik
komputer lebih cenderung berkaitan dengan hal-hal seperti
perangkat keras komputer (hardware). Namun demikian, kedua
istilah tersebut sering disalah-artikan oleh banyak orang.
Tesis
Church-Turing menyatakan bahwa semua alat komputasi yang telah
umum diketahui sebenarnya sama dalam hal apa yang bisa mereka
lakukan, sekalipun dengan efisiensi yang berbeda.
Tesis ini
kadang-kadang dianggap sebagai prinsip dasar dari ilmu komputer.
Para ahli ilmu komputer biasanya menekankan komputer von Neumann atau mesin Turing (komputer yang mengerjakan
tugas yang kecil dan deterministik pada suatu waktu tertentu),
karena hal seperti itulah kebanyakan komputer digunakan sekarang
ini.
Para ahli ilmu komputer juga mempelajari jenis mesin yang
lain, beberapa diantaranya belum bisa dipakai secara praktikal
(seperti komputer neural,
komputer DNA, dan komputer kuantum) serta beberapa
diantaranya masih cukup teoritis (seperti komputer random and komputer oracle).
Ilmu Komputer mempelajari apa yang bisa dilakukan oleh beberapa program, dan apa yang tidak (komputabilitas dan intelegensia buatan), bagaimana program itu harus mengevaluasi suatu hasil (algoritma), bagaimana program harus menyimpan dan mengambil bit tertentu dari suatu informasi (struktur data), dan bagaimana program dan pengguna berkomunikasi (antarmuka pengguna dan bahasa pemrograman).
Ilmu komputer berakar dari elektronika, matematika dan linguistik. Dalam tiga dekade terakhir dari
abad 20,
ilmu komputer telah menjadi
suatu disiplin ilmu baru dan telah mengembangkan metode dan istilah
sendiri.
Departemen ilmu komputer pertama didirikan di
Universitas Purdue pada tahun
1962.
Hampir semua universitas sekarang
mempunyai departemen ilmu komputer.
Penghargaan tertinggi dalam ilmu komputer adalah Turing Award, pemenang penghargaan ini adalah semua pionir di bidangnya.
Edsger Dijkstra mengatakan:
